TAGs: Function notation